* make-dist: Remove references to non-existent directories and files.
authorGlenn Morris <rgm@gnu.org>
Thu, 10 Jun 2010 05:28:40 +0000 (22:28 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 10 Jun 2010 05:28:40 +0000 (22:28 -0700)
commit5a5f0a841a3f35c7a0de65bc2464976fabac9171
tree2a46b87029e48473142a52100552c1a260675280
parenteed63bb331a49a428f1997a9a417eaec5a8eb95e
* make-dist: Remove references to non-existent directories and files.
ChangeLog
make-dist